порядковый тип

См. также в других словарях:

• порядковый тип — перечислимый тип — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы перечислимый тип EN ordinal type …   Справочник технического переводчика

• ПОРЯДКОВЫЙ ТИП — линейно упорядоченного множества А свойство множества А, к рое присуще любому линейно упорядоченному множеству В, подобному А. При этом два множества Аи В, линейно упорядоченные соотношениями R и S, наз. подобными, если существует функция f,… …   Математическая энциклопедия

• Намбу Тип 94 — У этого термина существуют и другие значения, см. Намбу. У этого термина существуют и другие значения, см. Тип 94 (значения). Намбу Тип 94 …   Википедия

• ТРАНСФИНИТНОЕ ЧИСЛО — порядковый тип бесконечного вполне упорядоченного множества. См. также Порядковое число, Кардинальное число …   Математическая энциклопедия

• Приведение типа — (type conversion) преобразование значения переменной одного типа в значение другого типа. Выделяют явное и неявное приведения типов. При явном приведении указывается тип переменной, к которому необходимо преобразовать исходную переменную. При… …   Википедия

• Упорядоченные и частично упорядоченные множества — (математичексие)         множества, в которых каким либо способом установлен порядок следования их элементов или, соответственно, частичный порядок. Понятия порядка и частичного порядка следования элементов определяются следующим образом. Говорят …   Большая советская энциклопедия

• Множеств теория —         учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… …   Большая советская энциклопедия

• Трансфинитные числа — (от Транс… и лат. finitus ограниченный)         обобщённые порядковые числа. Определение Т. ч. опирается на понятие вполне упорядоченного множества (см. Упорядоченные и частично упорядоченные множества). Каждое конечное множество можно сделать… …   Большая советская энциклопедия

• АЛЕФЫ — первая буква древнееврейского алфавита, символы, введенные Г. Кантором (G. Cantor) для обозначения кардинальных чисел (мощностей) бесконечных вполне упорядоченных множеств. Каждое кардинальное число есть нек рый А. (следствие выбора аксиомы). Но… …   Математическая энциклопедия

• АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… …   Математическая энциклопедия

• ПОРЯДКОВОЕ ЧИСЛО — трансфинитное число, ординальное число, ординал, порядковый тип вполне упорядоченного множества. Понятие П. ч. ввел Г. Кантор (G. Cantor, 1883, см. [2]). Напр., П. ч. множества натуральных чисел, упорядоченного отношением , есть w. П. ч.… …   Математическая энциклопедия